⁓ in the real world, you cannot prevent leaky abstractions

for example: you cannot say "I will consider the build of this transportation system only from the highest level of urban planning" — if the subcontractors use bad materials for the roads, you will still notice

abstraction leak